Probabilistic Simulation for Probabilistic Data-Aware Business Processes
نویسندگان
چکیده
There is a wide range of new applications that stress the need for business process models that are able to handle imprecise data. This paper studies the underlying modelling and analysis issues. It uses as formal model to describe process behaviours a labelled transitions system in which transitions are guarded by conditions defined over a probabilistic database and presents an approach for testing probabilistic simulation preorder in this context. A complexity analysis reveals that the problem is in 2-exptime, and is exptime-hard, w.r.t. expression complexity while it matches probabilistic query evaluation w.r.t. data-complexity.
منابع مشابه
An Effective and Optimal Fusion Rule in the Presence of Probabilistic Spectrum Sensing Data Falsification Attack
Cognitive radio (CR) network is an excellent solution to the spectrum scarcity problem. Cooperative spectrum sensing (CSS) has been widely used to precisely detect of primary user (PU) signals. The trustworthiness of the CSS is vulnerable to spectrum sensing data falsification (SSDF) attack. In an SSDF attack, some malicious users intentionally report wrong sensing results to cheat the fusion c...
متن کاملTowards The Use of Probabilistic Spatial Relation Databases in Business Process Modeling
In this paper, the authors combine the methods of probabilistic databases, GIS (Geographical Information Systems) and business process modelling to evaluate the agricultural activities. The authors provide a technique to evaluate the risk of agricultural activities among the hydrological objects (lakes, rivers, etc.) and agricultural plots. The spatial relation is an important information neede...
متن کاملModeling and verification of probabilistic data-aware business processes. (Modélisation et vérification des processus métier orientés données probabilistes)
متن کامل
A New Stability Approach using Probabilistic Profile along Direction of Excavation
Estimation of the possible instability that may be encountered in the excavation slope(s) during the planning and application steps of the rock excavation processes is an important issue in geoengineering. In this paper, a modelling method is presented for assessing the probability of wedge failure involving new permanent or temporary slope(s) along the planned excavation dir...
متن کاملSupport vector regression with random output variable and probabilistic constraints
Support Vector Regression (SVR) solves regression problems based on the concept of Support Vector Machine (SVM). In this paper, a new model of SVR with probabilistic constraints is proposed that any of output data and bias are considered the random variables with uniform probability functions. Using the new proposed method, the optimal hyperplane regression can be obtained by solving a quadrati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014